-
1 restricted recursion
Большой англо-русский и русско-английский словарь > restricted recursion
-
2 restricted recursion
Математика: ограниченная рекурсия -
3 restricted recursion
English-Russian electronics dictionary > restricted recursion
-
4 restricted recursion
The New English-Russian Dictionary of Radio-electronics > restricted recursion
-
5 restricted recursion
English-Russian scientific dictionary > restricted recursion
-
6 recursion
рекурсия; циклическое повторение -
7 recursion
вчт1) рекурсия2) рекуррентная формула; рекуррентное соотношение•- double recursion
- limited recursion
- multiple recursion
- nested recursion
- primitive recursion
- restricted recursion
- shifted recursion
- structural recursion
- tail recursion
- transfinite recursion
- unnested recursion -
8 recursion
вчт.1) рекурсия2) рекуррентная формула; рекуррентное соотношение•- double recursion
- limited recursion
- multiple recursion
- nested recursion
- primitive recursion
- restricted recursion
- shifted recursion
- structural recursion
- tail recursion
- transfinite recursion
- unnested recursionThe New English-Russian Dictionary of Radio-electronics > recursion
-
9 ограниченная рекурсия
Большой англо-русский и русско-английский словарь > ограниченная рекурсия
-
10 formula
1) рецепт2) формула || формульный3) формулировка•- arithmetically valid formula - back interpolation formula - computational formula - computing formula - corrector formula - formally decidable formula - formally refutable formula - formula of finite increments - geometrically valid formula - homomorphically stable formula - identically false formula - identically true formula - intuitionistically valid formula - logically valid formula - maximum likelihood formula - modally valid formula - monotonically increasing formula - numeralwise expressible formula - numeralwise representable formula - positively valid formula - primitively recursive formula - reciprocity formula - secondarily valid formula - square stable formula - universally valid formulato follow the formula — подчиняться [следовать] формуле; описываться формулой
-
11 induction
1) индукция, наведение, индуцирование3) впуск; всасывание4) индукционный•induction by confirmation — мат. конфирмативная индукция
induction by elimination — мат. элиминативная индукция
induction by enumeration — мат. энумеративная индукция
induction from n+1 to n — мат. индукция от n+1 к n
induction on length — мат. индукция по длине (формулы)
-
12 scheme
1) схема || составлять схему2) план; замысел || планировать, замышлять•- composite sampling scheme - decisive scheme - double sampling scheme - singly connected scheme
См. также в других словарях:
Addition — is the mathematical process of putting things together. The plus sign + means that two numbers are added together. For example, in the picture on the right, there are 3 + 2 apples meaning three apples and two other apples which is the same as… … Wikipedia
History of the Church–Turing thesis — This article is an extension of the history of the Church–Turing thesis. The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… … Wikipedia
History of the Church-Turing thesis — This article is an extension of the history of the Church Turing thesis.The debate and discovery of the meaning of computation and recursion has been long and contentious. This article provides detail of that debate and discovery from Peano s… … Wikipedia
List of mathematics articles (R) — NOTOC R R. A. Fisher Lectureship Rabdology Rabin automaton Rabin signature algorithm Rabinovich Fabrikant equations Rabinowitsch trick Racah polynomials Racah W coefficient Racetrack (game) Racks and quandles Radar chart Rademacher complexity… … Wikipedia
Origin of language — The origin of language is the emergence of language in the human species. This is a highly controversial topic, empirical evidence being so limited that many regard it as unsuitable for serious scholars. In 1866, the Linguistic Society of Paris… … Wikipedia
Algorithm — Flow chart of an algorithm (Euclid s algorithm) for calculating the greatest common divisor (g.c.d.) of two numbers a and b in locations named A and B. The algorithm proceeds by successive subtractions in two loops: IF the test B ≤ A yields yes… … Wikipedia
Reverse mathematics — is a program in mathematical logic that seeks to determine which axioms are required to prove theorems of mathematics. The method can briefly be described as going backwards from the theorems to the axioms. This contrasts with the ordinary… … Wikipedia
Pirahã language — Pirahã xapaitíiso Pronunciation [ʔàpài̯ˈt͡ʃîːsò] Spoken in Brazil Region Amazon River … Wikipedia
Fixed-point combinator — Y combinator redirects here. For the technology venture capital firm, see Y Combinator (company). In computer science, a fixed point combinator (or fixpoint combinator[1] ) is a higher order function that computes a fixed point of other functions … Wikipedia
Common Lisp — Paradigm(s) Multi paradigm: procedural, functional, object oriented, meta, reflective, generic Appeared in 1984, 1994 for ANSI Common Lisp Developer ANSI X3J13 committee Typing discipline … Wikipedia
Ordinal number — This article is about the mathematical concept. For number words denoting a position in a sequence ( first , second , third , etc.), see Ordinal number (linguistics). Representation of the ordinal numbers up to ωω. Each turn of the spiral… … Wikipedia
